Nuprl Definition : isl 11,40

isl(x) == case x of inl(y) => tt | inr(z) => ff 
latex


Definitionscase b of inl(x) => s(x) | inr(y) => t(y), tt, ff
FDL editor aliasesisl

origin